全文获取类型
收费全文 | 240篇 |
免费 | 120篇 |
国内免费 | 29篇 |
出版年
2024年 | 2篇 |
2022年 | 1篇 |
2021年 | 6篇 |
2020年 | 3篇 |
2019年 | 7篇 |
2018年 | 3篇 |
2017年 | 16篇 |
2016年 | 27篇 |
2015年 | 14篇 |
2014年 | 20篇 |
2013年 | 20篇 |
2012年 | 20篇 |
2011年 | 29篇 |
2010年 | 17篇 |
2009年 | 23篇 |
2008年 | 13篇 |
2007年 | 20篇 |
2006年 | 17篇 |
2005年 | 10篇 |
2004年 | 12篇 |
2003年 | 7篇 |
2002年 | 10篇 |
2001年 | 13篇 |
2000年 | 9篇 |
1999年 | 6篇 |
1998年 | 3篇 |
1997年 | 8篇 |
1996年 | 7篇 |
1995年 | 7篇 |
1994年 | 12篇 |
1993年 | 10篇 |
1992年 | 7篇 |
1991年 | 6篇 |
1990年 | 3篇 |
1987年 | 1篇 |
排序方式: 共有389条查询结果,搜索用时 280 毫秒
71.
72.
针对参数化系统状态空间爆炸问题提出了一个通用的参数化系统二维抽象框架TDA。对所有进程单独进行抽象,利用参数化系统的设计思想,隐藏系统参数构建全系统的抽象模型,最大限度地剔除了原始系统中的冗余信息。建立的具有真并发语义的参数化系统的形式化模型,更适合描述一般意义上的并发系统,较好地解决了验证大规模同构和异构系统的空间激增问题。理论推导和实例均证实了TDA的正确性和合理性。 相似文献
73.
为了保证人为差错分类的全面性和一致性,在详细分析现有人为差错分类方法的基础上,提出了一种新的人为差错分类框架.该框架以"执行差错,忽略"为起点进行细化,得到五种基本的人为差错类别.以此作为人为差错原语,结合认知模型,分析了不同认知阶段可能出现的人为差错模式.实例证明,在这种分类方法指导下来分析人为差错,对提高人为差错分类结果的全面性和一致性有着重要意义. 相似文献
74.
在"总和"扰动模型未知的前提下,针对线性扩张状态观测器跟踪时变信号精度不高的问题,设计出一种前馈观测补偿器。在分析线性扩张状态观测器观测原理的基础上,通过对扰动项的线性近似、误差系统动态响应的忽略,在时域内推导出观测静差的量化表达式,进而使用扰动微分项的估计值替代真值对观测作前馈补偿。理论分析了替代的可行性,证明了补偿器减小观测误差幅值、超前校正观测相位滞后的作用。将这一补偿思想推广至非线性扩张状态观测器中。通过仿真对补偿器提高观测精度、加快误差收敛的有效性进行检验,实验结果进一步表明,补偿器的引入能显著提高整个自抗扰控制系统的控制精度,从而证明了这种补偿思路的可行性。 相似文献
75.
时钟同步协议是时间触发网络的一个重要组成部分,是时间触发网络实时性和确定性的关键。本文基于扩展标记变迁模型对时钟同步协议进行建模,基于模型检测方法对协议是否满足正确性属性进行验证。验证结果证明了在不同启动场景下时钟同步网络协议的正确性,也表明了扩展标记变迁模型对于协议验证的有效性。 相似文献
76.
77.
本文在分析精密磨床主轴回转误差运动特点的基础上,提出了基于时序建模理论的随机运动误差补偿方案,并介绍了采用信号处理器TMS32010实现高速补偿控制的方法及初步实验结果。 相似文献
78.
核动力系统中,安全保护装置的温度漂移是一直存在的,它不仅影响整个控制系统的安全,而且影响该装置中各插件板的互换性。本文针对这一实际问题,在实验室用实际单元插件模拟现场温度变化的过程中,进行了参数测试。通过对电路及测试数据的分析,找出了问题所在,提出了改进措施。通过对改进前后测试数据的对比,证明改进之后性能有非常明显的提高。 相似文献
79.
介绍了超精密加工技术、应用背景、发展动向以及超精密加工关键技术的一些最新成果。从超精密加工技术推广应用的角度阐述了其精度目标、模块化、廉价化发展趋势 ,同时就如何发展超精密加工技术全面介绍了目前机床模块化部件、传动系统、检测环节、数控系统和环境控制等领域的最新研究水平和成果。 相似文献
80.
导弹的落点精度包括落点的准确度与密集度。对于子样很小的情况 ,分别鉴定准确度和密集度是有一定的难度。本文提出了采用概率圆的综合鉴定方法。当落入概率圆的导弹数大于等于要求的数时就接收 ,否则拒绝。文中给出了如何确定落入概率圆的导弹数 ,并且给出了该方法的风险。最后以仿真实例说明了方法的有效性。概率圆方法简便易行 ,便于工程应用。 相似文献